[INFO] cloning repository https://github.com/krobelus/rate
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/krobelus/rate" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkrobelus%2Frate", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkrobelus%2Frate'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 93bf524435455ddc0b370669c17b1eb8741a026c
[INFO] testing krobelus/rate against try#0abe69e6c16114311cc2700e972492e64d69c28f for pr-154065-1
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fkrobelus%2Frate" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/krobelus/rate
[INFO] finished tweaking git repo https://github.com/krobelus/rate
[INFO] tweaked toml for git repo https://github.com/krobelus/rate written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/krobelus/rate on toolchain 0abe69e6c16114311cc2700e972492e64d69c28f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/krobelus/rate already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 493adff7ebef3f2ead453507247980e039a19a059d428383ffaef2d6e6389316
[INFO] running `Command { std: "docker" "start" "-a" "493adff7ebef3f2ead453507247980e039a19a059d428383ffaef2d6e6389316", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "493adff7ebef3f2ead453507247980e039a19a059d428383ffaef2d6e6389316", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "493adff7ebef3f2ead453507247980e039a19a059d428383ffaef2d6e6389316", kill_on_drop: false }`
[INFO] [stdout] 493adff7ebef3f2ead453507247980e039a19a059d428383ffaef2d6e6389316
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 8f953e1dec70f14de4277ef43ccb5c28c55f5fef84cc8385d6a7ac9eb29917fd
[INFO] running `Command { std: "docker" "start" "-a" "8f953e1dec70f14de4277ef43ccb5c28c55f5fef84cc8385d6a7ac9eb29917fd", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.82
[INFO] [stderr]    Compiling pkg-config v0.3.19
[INFO] [stderr]    Compiling either v1.6.1
[INFO] [stderr]    Compiling glob v0.3.0
[INFO] [stderr]    Compiling syn v1.0.59
[INFO] [stderr]    Compiling crc32fast v1.2.1
[INFO] [stderr]    Compiling zstd-safe v3.0.0+zstd.1.4.8
[INFO] [stderr]    Compiling serde v1.0.120
[INFO] [stderr]    Compiling serde_derive v1.0.120
[INFO] [stderr]    Compiling unicode-width v0.1.8
[INFO] [stderr]    Compiling ansi_term v0.11.0
[INFO] [stderr]    Compiling vec_map v0.8.2
[INFO] [stderr]    Compiling strsim v0.8.0
[INFO] [stderr]    Compiling textwrap v0.11.0
[INFO] [stderr]    Compiling itertools v0.9.0
[INFO] [stderr]    Compiling jobserver v0.1.21
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling flate2 v1.0.19
[INFO] [stderr]    Compiling cc v1.0.66
[INFO] [stderr]    Compiling clap v2.33.3
[INFO] [stderr]    Compiling zstd-sys v1.4.19+zstd.1.4.8
[INFO] [stderr]    Compiling lz4-sys v1.9.2
[INFO] [stderr]    Compiling lzma-sys v0.1.17
[INFO] [stderr]    Compiling bzip2-sys v0.1.9+1.0.8
[INFO] [stderr]    Compiling xz2 v0.1.6
[INFO] [stderr]    Compiling rate-macros v0.3.0 (/opt/rustwide/workdir/rate-macros)
[INFO] [stderr]    Compiling bzip2 v0.4.1
[INFO] [stderr]    Compiling toml v0.5.8
[INFO] [stderr]    Compiling lz4 v1.23.2
[INFO] [stderr]    Compiling zstd v0.6.0+zstd.1.4.8
[INFO] [stderr]    Compiling rate-common v0.3.0 (/opt/rustwide/workdir/rate-common)
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]   --> rate-common/src/assignment.rs:47:13
[INFO] [stdout]    |
[INFO] [stdout] 47 |             /// + 2 for Literal::TOP and one conflicting assignment
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 48 |             trail: BoundedVector::with_capacity(maxvar.array_size_for_variables() + 2),
[INFO] [stdout]    |             -------------------------------------------------------------------------- rustdoc does not generate documentation for expression fields
[INFO] [stdout]    |
[INFO] [stdout]    = help: use `//` for a plain comment
[INFO] [stdout]    = note: `#[warn(unused_doc_comments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `as_error`, `puts`, and `requires`
[INFO] [stdout]   --> rate-common/src/sick.rs:4:5
[INFO] [stdout]    |
[INFO] [stdout]  4 |     as_error,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 11 |     puts, requires,
[INFO] [stdout]    |     ^^^^  ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> rate-common/src/parser.rs:213:5
[INFO] [stdout]     |
[INFO] [stdout] 213 |     mut parser: &mut Parser,
[INFO] [stdout]     |     ----^^^^^^
[INFO] [stdout]     |     |
[INFO] [stdout]     |     help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/boundedvector.rs:70:17
[INFO] [stdout]    |
[INFO] [stdout] 70 |     pub fn iter(&self) -> slice::Iter<T> {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 70 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/vector.rs:69:17
[INFO] [stdout]    |
[INFO] [stdout] 69 |     pub fn iter(&self) -> slice::Iter<T> {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 69 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/stackmapping.rs:94:17
[INFO] [stdout]    |
[INFO] [stdout] 94 |     pub fn iter(&self) -> slice::Iter<Key> {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 94 |     pub fn iter(&self) -> slice::Iter<'_, Key> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate-common/src/assignment.rs:113:17
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn iter(&self) -> slice::Iter<(Literal, Reason)> {
[INFO] [stdout]     |                 ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn iter(&self) -> slice::Iter<'_, (Literal, Reason)> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate-common/src/parser.rs:355:39
[INFO] [stdout]     |
[INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input {
[INFO] [stdout]     |                                       ^^^^                   ^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                       |
[INFO] [stdout]     |                                       the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input<'_> {
[INFO] [stdout]     |                                                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling rate v0.3.0 (/opt/rustwide/workdir/rate)
[INFO] [stderr]    Compiling rate-proof-utils v0.3.0 (/opt/rustwide/workdir/rate-proof-utils)
[INFO] [stderr]    Compiling rate-sick-check v0.3.0 (/opt/rustwide/workdir/rate-sick-check)
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate/rate.rs:649:15
[INFO] [stdout]     |
[INFO] [stdout] 649 |     fn fields(&self, clause: Clause) -> ClauseFields {
[INFO] [stdout]     |               ^^^^^                     ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |               |
[INFO] [stdout]     |               the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 649 |     fn fields(&self, clause: Clause) -> ClauseFields<'_> {
[INFO] [stdout]     |                                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate/rate.rs:655:19
[INFO] [stdout]     |
[INFO] [stdout] 655 |     fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut {
[INFO] [stdout]     |                   ^^^^^^^^^                     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 655 |     fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut<'_> {
[INFO] [stdout]     |                                                                ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate/rate.rs:662:27
[INFO] [stdout]     |
[INFO] [stdout] 662 |     fn fields_from_offset(&self, offset: usize) -> ClauseFields {
[INFO] [stdout]     |                           ^^^^^                    ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 662 |     fn fields_from_offset(&self, offset: usize) -> ClauseFields<'_> {
[INFO] [stdout]     |                                                                ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate/rate.rs:669:31
[INFO] [stdout]     |
[INFO] [stdout] 669 |     fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut {
[INFO] [stdout]     |                               ^^^^^^^^^                    ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 669 |     fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut<'_> {
[INFO] [stdout]     |                                                                           ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 54.13s
[INFO] running `Command { std: "docker" "inspect" "8f953e1dec70f14de4277ef43ccb5c28c55f5fef84cc8385d6a7ac9eb29917fd", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8f953e1dec70f14de4277ef43ccb5c28c55f5fef84cc8385d6a7ac9eb29917fd", kill_on_drop: false }`
[INFO] [stdout] 8f953e1dec70f14de4277ef43ccb5c28c55f5fef84cc8385d6a7ac9eb29917fd
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c1bdceade7a2426bb7e4bb26187bafffd1d939f176304e3bba1b1ca1209fafe9
[INFO] running `Command { std: "docker" "start" "-a" "c1bdceade7a2426bb7e4bb26187bafffd1d939f176304e3bba1b1ca1209fafe9", kill_on_drop: false }`
[INFO] [stderr]    Compiling rate-macros v0.3.0 (/opt/rustwide/workdir/rate-macros)
[INFO] [stderr]    Compiling rate-common v0.3.0 (/opt/rustwide/workdir/rate-common)
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]   --> rate-common/src/assignment.rs:47:13
[INFO] [stdout]    |
[INFO] [stdout] 47 |             /// + 2 for Literal::TOP and one conflicting assignment
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 48 |             trail: BoundedVector::with_capacity(maxvar.array_size_for_variables() + 2),
[INFO] [stdout]    |             -------------------------------------------------------------------------- rustdoc does not generate documentation for expression fields
[INFO] [stdout]    |
[INFO] [stdout]    = help: use `//` for a plain comment
[INFO] [stdout]    = note: `#[warn(unused_doc_comments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused doc comment
[INFO] [stdout]   --> rate-common/src/assignment.rs:47:13
[INFO] [stdout]    |
[INFO] [stdout] 47 |             /// + 2 for Literal::TOP and one conflicting assignment
[INFO] [stdout]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 48 |             trail: BoundedVector::with_capacity(maxvar.array_size_for_variables() + 2),
[INFO] [stdout]    |             -------------------------------------------------------------------------- rustdoc does not generate documentation for expression fields
[INFO] [stdout]    |
[INFO] [stdout]    = help: use `//` for a plain comment
[INFO] [stdout]    = note: `#[warn(unused_doc_comments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `as_error`, `puts`, and `requires`
[INFO] [stdout]   --> rate-common/src/sick.rs:4:5
[INFO] [stdout]    |
[INFO] [stdout]  4 |     as_error,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 11 |     puts, requires,
[INFO] [stdout]    |     ^^^^  ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused imports: `as_error`, `puts`, and `requires`
[INFO] [stdout]   --> rate-common/src/sick.rs:4:5
[INFO] [stdout]    |
[INFO] [stdout]  4 |     as_error,
[INFO] [stdout]    |     ^^^^^^^^
[INFO] [stdout] ...
[INFO] [stdout] 11 |     puts, requires,
[INFO] [stdout]    |     ^^^^  ^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> rate-common/src/parser.rs:213:5
[INFO] [stdout]     |
[INFO] [stdout] 213 |     mut parser: &mut Parser,
[INFO] [stdout]     |     ----^^^^^^
[INFO] [stdout]     |     |
[INFO] [stdout]     |     help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: variable does not need to be mutable
[INFO] [stdout]    --> rate-common/src/parser.rs:213:5
[INFO] [stdout]     |
[INFO] [stdout] 213 |     mut parser: &mut Parser,
[INFO] [stdout]     |     ----^^^^^^
[INFO] [stdout]     |     |
[INFO] [stdout]     |     help: remove this `mut`
[INFO] [stdout]     |
[INFO] [stdout]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/boundedvector.rs:70:17
[INFO] [stdout]    |
[INFO] [stdout] 70 |     pub fn iter(&self) -> slice::Iter<T> {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 70 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/vector.rs:69:17
[INFO] [stdout]    |
[INFO] [stdout] 69 |     pub fn iter(&self) -> slice::Iter<T> {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 69 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/stackmapping.rs:94:17
[INFO] [stdout]    |
[INFO] [stdout] 94 |     pub fn iter(&self) -> slice::Iter<Key> {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 94 |     pub fn iter(&self) -> slice::Iter<'_, Key> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate-common/src/assignment.rs:113:17
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn iter(&self) -> slice::Iter<(Literal, Reason)> {
[INFO] [stdout]     |                 ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn iter(&self) -> slice::Iter<'_, (Literal, Reason)> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate-common/src/parser.rs:355:39
[INFO] [stdout]     |
[INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input {
[INFO] [stdout]     |                                       ^^^^                   ^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                       |
[INFO] [stdout]     |                                       the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input<'_> {
[INFO] [stdout]     |                                                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/boundedvector.rs:70:17
[INFO] [stdout]    |
[INFO] [stdout] 70 |     pub fn iter(&self) -> slice::Iter<T> {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 70 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/vector.rs:69:17
[INFO] [stdout]    |
[INFO] [stdout] 69 |     pub fn iter(&self) -> slice::Iter<T> {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 69 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]   --> rate-common/src/memory/stackmapping.rs:94:17
[INFO] [stdout]    |
[INFO] [stdout] 94 |     pub fn iter(&self) -> slice::Iter<Key> {
[INFO] [stdout]    |                 ^^^^^     ^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]    |                 |
[INFO] [stdout]    |                 the lifetime is elided here
[INFO] [stdout]    |
[INFO] [stdout]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]    |
[INFO] [stdout] 94 |     pub fn iter(&self) -> slice::Iter<'_, Key> {
[INFO] [stdout]    |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate-common/src/assignment.rs:113:17
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn iter(&self) -> slice::Iter<(Literal, Reason)> {
[INFO] [stdout]     |                 ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                 |
[INFO] [stdout]     |                 the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 113 |     pub fn iter(&self) -> slice::Iter<'_, (Literal, Reason)> {
[INFO] [stdout]     |                                       +++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate-common/src/parser.rs:355:39
[INFO] [stdout]     |
[INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input {
[INFO] [stdout]     |                                       ^^^^                   ^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                                       |
[INFO] [stdout]     |                                       the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input<'_> {
[INFO] [stdout]     |                                                                   ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]    Compiling rate-sick-check v0.3.0 (/opt/rustwide/workdir/rate-sick-check)
[INFO] [stderr]    Compiling rate-proof-utils v0.3.0 (/opt/rustwide/workdir/rate-proof-utils)
[INFO] [stderr]    Compiling rate v0.3.0 (/opt/rustwide/workdir/rate)
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate/rate.rs:649:15
[INFO] [stdout]     |
[INFO] [stdout] 649 |     fn fields(&self, clause: Clause) -> ClauseFields {
[INFO] [stdout]     |               ^^^^^                     ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |               |
[INFO] [stdout]     |               the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 649 |     fn fields(&self, clause: Clause) -> ClauseFields<'_> {
[INFO] [stdout]     |                                                     ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate/rate.rs:655:19
[INFO] [stdout]     |
[INFO] [stdout] 655 |     fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut {
[INFO] [stdout]     |                   ^^^^^^^^^                     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                   |
[INFO] [stdout]     |                   the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 655 |     fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut<'_> {
[INFO] [stdout]     |                                                                ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate/rate.rs:662:27
[INFO] [stdout]     |
[INFO] [stdout] 662 |     fn fields_from_offset(&self, offset: usize) -> ClauseFields {
[INFO] [stdout]     |                           ^^^^^                    ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                           |
[INFO] [stdout]     |                           the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 662 |     fn fields_from_offset(&self, offset: usize) -> ClauseFields<'_> {
[INFO] [stdout]     |                                                                ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stdout]    --> rate/rate.rs:669:31
[INFO] [stdout]     |
[INFO] [stdout] 669 |     fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut {
[INFO] [stdout]     |                               ^^^^^^^^^                    ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stdout]     |                               |
[INFO] [stdout]     |                               the lifetime is elided here
[INFO] [stdout]     |
[INFO] [stdout]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stdout] help: use `'_` for type paths
[INFO] [stdout]     |
[INFO] [stdout] 669 |     fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut<'_> {
[INFO] [stdout]     |                                                                           ++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 2.88s
[INFO] running `Command { std: "docker" "inspect" "c1bdceade7a2426bb7e4bb26187bafffd1d939f176304e3bba1b1ca1209fafe9", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c1bdceade7a2426bb7e4bb26187bafffd1d939f176304e3bba1b1ca1209fafe9", kill_on_drop: false }`
[INFO] [stdout] c1bdceade7a2426bb7e4bb26187bafffd1d939f176304e3bba1b1ca1209fafe9
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 58637e3e30a7a6ae8a0e5d30144c050232f93b41f9edfdc60af0f50f765d4937
[INFO] running `Command { std: "docker" "start" "-a" "58637e3e30a7a6ae8a0e5d30144c050232f93b41f9edfdc60af0f50f765d4937", kill_on_drop: false }`
[INFO] [stderr] warning: unused doc comment
[INFO] [stderr]   --> rate-common/src/assignment.rs:47:13
[INFO] [stderr]    |
[INFO] [stderr] 47 |             /// + 2 for Literal::TOP and one conflicting assignment
[INFO] [stderr]    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stderr] 48 |             trail: BoundedVector::with_capacity(maxvar.array_size_for_variables() + 2),
[INFO] [stderr]    |             -------------------------------------------------------------------------- rustdoc does not generate documentation for expression fields
[INFO] [stderr]    |
[INFO] [stderr]    = help: use `//` for a plain comment
[INFO] [stderr]    = note: `#[warn(unused_doc_comments)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: unused imports: `as_error`, `puts`, and `requires`
[INFO] [stderr]   --> rate-common/src/sick.rs:4:5
[INFO] [stderr]    |
[INFO] [stderr]  4 |     as_error,
[INFO] [stderr]    |     ^^^^^^^^
[INFO] [stderr] ...
[INFO] [stderr] 11 |     puts, requires,
[INFO] [stderr]    |     ^^^^  ^^^^^^^^
[INFO] [stderr]    |
[INFO] [stderr]    = note: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: variable does not need to be mutable
[INFO] [stderr]    --> rate-common/src/parser.rs:213:5
[INFO] [stderr]     |
[INFO] [stderr] 213 |     mut parser: &mut Parser,
[INFO] [stderr]     |     ----^^^^^^
[INFO] [stderr]     |     |
[INFO] [stderr]     |     help: remove this `mut`
[INFO] [stderr]     |
[INFO] [stderr]     = note: `#[warn(unused_mut)]` (part of `#[warn(unused)]`) on by default
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> rate-common/src/memory/boundedvector.rs:70:17
[INFO] [stderr]    |
[INFO] [stderr] 70 |     pub fn iter(&self) -> slice::Iter<T> {
[INFO] [stderr]    |                 ^^^^^     ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]    |                 |
[INFO] [stderr]    |                 the lifetime is elided here
[INFO] [stderr]    |
[INFO] [stderr]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr]    = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]    |
[INFO] [stderr] 70 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stderr]    |                                       +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> rate-common/src/memory/vector.rs:69:17
[INFO] [stderr]    |
[INFO] [stderr] 69 |     pub fn iter(&self) -> slice::Iter<T> {
[INFO] [stderr]    |                 ^^^^^     ^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]    |                 |
[INFO] [stderr]    |                 the lifetime is elided here
[INFO] [stderr]    |
[INFO] [stderr]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]    |
[INFO] [stderr] 69 |     pub fn iter(&self) -> slice::Iter<'_, T> {
[INFO] [stderr]    |                                       +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]   --> rate-common/src/memory/stackmapping.rs:94:17
[INFO] [stderr]    |
[INFO] [stderr] 94 |     pub fn iter(&self) -> slice::Iter<Key> {
[INFO] [stderr]    |                 ^^^^^     ^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]    |                 |
[INFO] [stderr]    |                 the lifetime is elided here
[INFO] [stderr]    |
[INFO] [stderr]    = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]    |
[INFO] [stderr] 94 |     pub fn iter(&self) -> slice::Iter<'_, Key> {
[INFO] [stderr]    |                                       +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> rate-common/src/assignment.rs:113:17
[INFO] [stderr]     |
[INFO] [stderr] 113 |     pub fn iter(&self) -> slice::Iter<(Literal, Reason)> {
[INFO] [stderr]     |                 ^^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                 |
[INFO] [stderr]     |                 the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 113 |     pub fn iter(&self) -> slice::Iter<'_, (Literal, Reason)> {
[INFO] [stderr]     |                                       +++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> rate-common/src/parser.rs:355:39
[INFO] [stderr]     |
[INFO] [stderr] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input {
[INFO] [stderr]     |                                       ^^^^                   ^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                                       |
[INFO] [stderr]     |                                       the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 355 | pub fn read_compressed_file(filename: &str, binary: bool) -> Input<'_> {
[INFO] [stderr]     |                                                                   ++++
[INFO] [stderr] 
[INFO] [stderr] warning: `rate-common` (lib) generated 8 warnings (run `cargo fix --lib -p rate-common` to apply 7 suggestions)
[INFO] [stderr] warning: `rate-common` (lib test) generated 8 warnings (8 duplicates)
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> rate/rate.rs:649:15
[INFO] [stderr]     |
[INFO] [stderr] 649 |     fn fields(&self, clause: Clause) -> ClauseFields {
[INFO] [stderr]     |               ^^^^^                     ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |               |
[INFO] [stderr]     |               the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr]     = note: `#[warn(mismatched_lifetime_syntaxes)]` on by default
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 649 |     fn fields(&self, clause: Clause) -> ClauseFields<'_> {
[INFO] [stderr]     |                                                     ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> rate/rate.rs:655:19
[INFO] [stderr]     |
[INFO] [stderr] 655 |     fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut {
[INFO] [stderr]     |                   ^^^^^^^^^                     ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                   |
[INFO] [stderr]     |                   the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 655 |     fn fields_mut(&mut self, clause: Clause) -> ClauseFieldsMut<'_> {
[INFO] [stderr]     |                                                                ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> rate/rate.rs:662:27
[INFO] [stderr]     |
[INFO] [stderr] 662 |     fn fields_from_offset(&self, offset: usize) -> ClauseFields {
[INFO] [stderr]     |                           ^^^^^                    ^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                           |
[INFO] [stderr]     |                           the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 662 |     fn fields_from_offset(&self, offset: usize) -> ClauseFields<'_> {
[INFO] [stderr]     |                                                                ++++
[INFO] [stderr] 
[INFO] [stderr] warning: hiding a lifetime that's elided elsewhere is confusing
[INFO] [stderr]    --> rate/rate.rs:669:31
[INFO] [stderr]     |
[INFO] [stderr] 669 |     fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut {
[INFO] [stderr]     |                               ^^^^^^^^^                    ^^^^^^^^^^^^^^^ the same lifetime is hidden here
[INFO] [stderr]     |                               |
[INFO] [stderr]     |                               the lifetime is elided here
[INFO] [stderr]     |
[INFO] [stderr]     = help: the same lifetime is referred to in inconsistent ways, making the signature confusing
[INFO] [stderr] help: use `'_` for type paths
[INFO] [stderr]     |
[INFO] [stderr] 669 |     fn fields_mut_from_offset(&mut self, offset: usize) -> ClauseFieldsMut<'_> {
[INFO] [stderr]     |                                                                           ++++
[INFO] [stderr] 
[INFO] [stderr] warning: `rate` (bin "rate" test) generated 4 warnings (run `cargo fix --bin "rate" -p rate --tests` to apply 4 suggestions)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
[INFO] [stderr]      Running unittests rate.rs (/opt/rustwide/target/debug/deps/rate-80a39d0a40a43cc1)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/rate_common-6fdb72db00ae5092)
[INFO] [stdout] 
[INFO] [stdout] running 1 test
[INFO] [stdout] test parser::tests::valid_formula_and_proof ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.15s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests lib.rs (/opt/rustwide/target/debug/deps/rate_macros-a83a7a0311409446)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests apply-proof.rs (/opt/rustwide/target/debug/deps/apply_proof-43b5be2aeebc7554)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests bdrat2drat.rs (/opt/rustwide/target/debug/deps/bdrat2drat-ba0e7542de3b0915)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests drat2bdrat.rs (/opt/rustwide/target/debug/deps/drat2bdrat-076fa8167feb067f)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests sick-check.rs (/opt/rustwide/target/debug/deps/sick_check-c7b878b44a41df43)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests rate_common
[INFO] [stdout] 
[INFO] [stdout] running 11 tests
[INFO] [stdout] test rate-common/src/literal.rs - literal::Literal::decode (line 87) ... ok
[INFO] [stdout] test rate-common/src/clause.rs - clause::ProofStep (line 108) ... ok
[INFO] [stdout] test rate-common/src/clause.rs - clause::LRATLiteral (line 249) ... ok
[INFO] [stdout] test rate-common/src/literal.rs - literal::Literal::is_constant (line 110) ... ok
[INFO] [stdout] test rate-common/src/literal.rs - literal::Literal::variable (line 100) ... ok
[INFO] [stdout] test rate-common/src/literal.rs - literal::Literal::is_zero (line 134) ... ok
[INFO] [stdout] test rate-common/src/clause.rs - clause::Reason (line 146) ... ok
[INFO] [stdout] test rate-common/src/literal.rs - literal::Literal::all (line 122) ... ok
[INFO] [stdout] test rate-common/src/literal.rs - literal::Literal (line 172) ... ok
[INFO] [stdout] test rate-common/src/literal.rs - literal::Literal (line 157) ... ok
[INFO] [stdout] test rate-common/src/clause.rs - clause::LRATDependency (line 200) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.67s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests rate_macros
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "58637e3e30a7a6ae8a0e5d30144c050232f93b41f9edfdc60af0f50f765d4937", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "58637e3e30a7a6ae8a0e5d30144c050232f93b41f9edfdc60af0f50f765d4937", kill_on_drop: false }`
[INFO] [stdout] 58637e3e30a7a6ae8a0e5d30144c050232f93b41f9edfdc60af0f50f765d4937
